Combinatory logic - PDFSEARCH.IO - Document Search Engine

Combinatory logic
Results: 540

#	Item
421	The Dierential Lambda-Calculus Thomas Ehrhard and Laurent Regnier Institut de Mathématiques de Luminy, C.N.R.S. U.P.R[removed]removed] Add to Reading List Source URL: iml.univ-mrs.fr Language: English - Date: 2001-05-31 09:45:10 Computability theory Lambda calculus Theoretical computer science Derivative Chain rule Integration by substitution State space Combinatory logic Heat equation Calculus Mathematical analysis Mathematics
422	Version of[removed]Kirszbraun’s theorem D.H.Fremlin University of Essex, Colchester, England Wikipedia gives a statement of this theorem and an outline of its history, but no online source for the proof. It’s so pret Add to Reading List Source URL: www.essex.ac.uk Language: English - Date: 2011-07-14 07:44:34 Calculus Continuous function Filter Lambda calculus Combinatory logic Theorems and definitions in linear algebra Mathematics Mathematical analysis Operator theory
423	THE STRENGTH OF SOME COMBINATORIAL PRINCIPLES RELATED TO RAMSEY’S THEOREM FOR PAIRS DENIS R. HIRSCHFELDT, CARL G. JOCKUSCH, JR., BJØRN KJOS-HANSSEN, STEFFEN LEMPP, AND THEODORE A. SLAMAN Abstract. We study the reverse Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2009-07-29 17:55:43 Mathematics Theory of computation PA degree Computable function Reverse mathematics Model theory Forcing Combinatory logic Primitive recursive function Computability theory Mathematical logic Theoretical computer science
424	Parthood∗ Theodore Sider Philosophical Review[removed]): 51–[removed]First, a digression: expansion and contraction Add to Reading List Source URL: tedsider.org Language: English - Date: 2012-03-13 18:16:39 Functions and mappings Metaphysics Mereology Predicate logic Philosophical logic Simple Function Combinatory logic Identity Mathematics Mathematical logic Logic
425	How DENDRAL was conceived and born. Joshua Lederberg Rockefeller University New York, N.Y. As agreed with your organizers, this will be a somewhat personal history. They have given me permission Add to Reading List Source URL: larry.masinter.net Language: English - Date: 2003-05-30 12:01:24 Artificial intelligence Joshua Lederberg Combinatory logic Academia Mathematical optimization Science Cheminformatics Dendral
426	Ann Oper Res[removed]: 99–115 DOI[removed]s10479[removed]The Shapley value for bicooperative games J.M. Bilbao · J.R. Fernández · N. Jiménez · J.J. López Add to Reading List Source URL: www.esi2.us.es Language: English - Date: 2007-12-20 04:30:44 Fair division Shapley value Problem solving Summation 3N Combinatory logic Decision theory Game theory Cooperative games Mathematics
427	European Journal of Operational Research[removed]–1014 Contents lists available at ScienceDirect European Journal of Operational Research journal homepage: www.elsevier.com/locate/ejor Add to Reading List Source URL: www.esi2.us.es Language: English - Date: 2010-09-28 07:04:54 Cooperative games Fair division Shapley value Combinatory logic Vector space Algebra Mathematics Game theory
428	The Semantics of Predicate Logic as a Programming Language M. H. VAN E M D E N A N D R. A. K O W A L S K I Umverslty of Edinburgh, Edmburgh. Scotland ABSTRACT Sentences in first-order predicate logic can be usefully inte Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 08:56:03 Metalogic Term algebra Interpretation FO First-order logic Kripke semantics Combinatory logic Logic Mathematical logic Model theory
429	Robinson Unification Algorithm in F# Learning version This is a learning version of the Robinson unification algorithm. A final different version will become part of a library for doing AST transformations. I wrote the c Add to Reading List Source URL: www.antlr3.org Language: English - Date: 2014-04-25 11:51:26 Automated theorem proving Logic programming Unification Hindley–Milner Combinatory logic Theoretical computer science Applied mathematics Mathematics
430	c 2003 Society for Industrial and Applied Mathematics SIAM J. DISCRETE MATH. Vol. 17, No. 1, pp. 122–133 Add to Reading List Source URL: www.esi2.us.es Language: English - Date: 2003-10-16 14:44:22 Cooperative game Matroid Shapley value Combinatory logic Antimatroid Greedoid Mathematics Combinatorics Game theory

UPDATE